From: Keir Fraser <keir.fraser@citrix.com>
Date: Wed, 19 Dec 2007 15:53:56 +0000 (+0000)
Subject: doc: Fix serial console command line.
X-Git-Tag: archive/raspbian/4.8.0-1+rpi1~1^2~14445^2~111
X-Git-Url: https://dgit.raspbian.org/%22http:/www.example.com/cgi/%22https:/%22bookmarks://%22Dat/%22http:/www.example.com/cgi/%22https:/%22bookmarks:/%22Dat?a=commitdiff_plain;h=1358358f3de3c58ae584e36ffe6683c09e2828b7;p=xen.git

doc: Fix serial console command line.
Signed-off-by: Keir Fraser <keir.fraser@citrix.com>
---

diff --git a/docs/src/user.tex b/docs/src/user.tex
index c12d5f5ed4..c1c0a35e74 100644
--- a/docs/src/user.tex
+++ b/docs/src/user.tex
@@ -665,7 +665,7 @@ In order to configure Xen serial console output, it is necessary to
 add a boot option to your GRUB config; e.g.\ replace the previous
 example kernel line with:
 \begin{quote} {\small \begin{verbatim}
-   kernel /boot/xen.gz dom0_mem=131072 com1=115200,8n1
+   kernel /boot/xen.gz dom0_mem=131072 com1=115200,8n1 console=com1,vga
 \end{verbatim}}
 \end{quote}